Basic research

Results: 2119



#Item
431

BRICS Basic Research in Computer Science BRICS RSZ. Yang: Reasoning About Code-Generation in Two-Level Languages Reasoning About Code-Generation in

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-08-07 03:27:38
    432

    BRICS RS-07-5 Aceto et al.: On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt BRICS Basic Research in Computer Science

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2007-03-26 17:39:55
      433

      BRICS Basic Research in Computer Science BRICS DS-00-4 C. N. S. Pedersen: Algorithms in Computational Biology

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2001-09-12 08:05:10
        434

        BRICS Basic Research in Computer Science BRICS RSAger et al.: A Functional Correspondence between Monadic Evaluators and Abstract Machines A Functional Correspondence between

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2003-11-11 07:29:45
          435

          BRICS RSKirkegaard & Møller: Static Analysis for Java Servlets and JSP BRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2006-11-27 18:33:05
            436

            BRICS Basic Research in Computer Science BRICS RSAceto et al.: A Note on an Expressiveness Hierarchy for Multi-exit Iteration A Note on an Expressiveness Hierarchy for

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2002-09-06 04:44:27
              437

              BRICS Basic Research in Computer Science BRICS RSR. Pagh: Faster Deterministic Dictionaries Faster Deterministic Dictionaries

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2000-01-05 09:35:20
                438

                From Basic Research to Knowledge Society: the DREAM project Danube River REsearch And Management University of Natural Resources and Life Sciences Vienna,

                Add to Reading List

                Source URL: files.groupspaces.com

                Language: English
                  439

                  BRICS Basic Research in Computer Science BRICS RSJensen & Nielsen: Real-Time Layered Video Compression using SIMD Computation Real-Time Layered Video Compression

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 1999-03-22 04:41:33
                    440

                    BRICS RS-06-8 Kirkegaard & Møller: Static Analysis for Java Servlets and JSP BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2006-04-25 04:34:41
                      UPDATE